-
1 predicate logic language
descriptive language — дексриптивный язык; описательный язык
-
2 predicate logic language
English-Russian big polytechnic dictionary > predicate logic language
-
3 predicate logic language
Большой англо-русский и русско-английский словарь > predicate logic language
-
4 predicate logic language
1) Вычислительная техника: язык (программирования), основанный на логике предикатов, язык программирования, основанный на логике предикатов2) Механика: язык основанный на логике предикатов3) Автоматика: язык, основанный на логике предикатов (как функций нескольких переменных)Универсальный англо-русский словарь > predicate logic language
-
5 predicate logic language
Англо-русский словарь по машиностроению > predicate logic language
-
6 predicate logic language
язык, основанный на логике предикатов ( как функций нескольких переменных)English-Russian dictionary of mechanical engineering and automation > predicate logic language
-
7 predicate logic language
язык, основанный на логике предикатов
Англо-русский словарь по робототехнике > predicate logic language
-
8 predicate logic-based language
Большой англо-русский и русско-английский словарь > predicate logic-based language
-
9 predicate logic-based language
Вычислительная техника: язык (программирования), основанный на логике предикатов, язык программирования, основанный на логике предикатовУниверсальный англо-русский словарь > predicate logic-based language
-
10 predicate logic(-based) language
язык (программирования), основанный на логике предикатовEnglish-Russian dictionary of computer science and programming > predicate logic(-based) language
-
11 predicate logic(-based) language
язык (программирования), основанный на логике предикатовEnglish-Russian dictionary of computer science and programming > predicate logic(-based) language
-
12 language
язык || языковой- action description language
- actual machine language
- agent programming language
- AI language
- Algol-like language
- algorithmical language
- algorithmic language
- application-oriented language
- applicative language
- artificial language
- assembler language
- assembly language
- assembly-output language
- assignment-free language
- behavioral language
- bidirectional language
- block-structured language
- Boolean-based language
- business definition language
- business-oriented language
- calculus-type language
- C-based language
- client-side language
- code language
- command language
- compiled language
- compiler language
- component definition language
- composite language
- computer language
- computer-dependent language
- computer-independent language
- computer-oriented language
- computer-programming language
- computer-sensitive language
- consensus language
- context-free language
- control language
- conversational language
- core language
- data definition language
- data description language
- data language
- data manipulation language
- data storage description language
- database language
- data-entry language
- data-flow language
- data-query language
- declarative language
- defining language
- descriptive language
- descriptor language
- design language
- device media control language
- direct execution language
- directly interpretable language
- Dyck language
- end-user language
- escape language
- evolutive language
- executive-control language
- executive language
- explicit language
- extensible language
- fabricated language
- finite state language
- flow language
- foreign language
- formalized language
- frame-based language
- freestanding language
- functional language
- generated language
- graphics language
- graph-oriented language
- hardware-description language
- hardware language
- higher-level language
- higher-order language
- host language
- human language
- human-oriented language
- human-readable language
- indexed language
- information retrieval language
- informational language
- information language
- inherently ambiguous language
- input language
- input/output language
- instruction language
- integrated language
- interactive language
- interim language
- intermediate language
- internal language
- interpreted language
- job control language
- job-oriented language
- knowledge representation language
- language pair
- letter-equivalent languages
- linear language
- linear-programming language
- list-processing language
- logic-type language
- low-level language
- machine language
- machine-dependent language
- machine-independent language
- machine-oriented language
- macroassembly language
- macro language
- macroinstruction language
- macroprogramming language
- man-to-computer language
- mathematical formular language
- memory management language
- mnemonic language
- modeling language
- native language
- natural language
- NC programming language
- nested language
- network-oriented language
- nonprocedural language
- numder language
- object language
- object modeling language
- object-oriented language
- one-dimensional language
- operator-oriented language
- original language
- page description language
- parallel language
- phrase structure language
- predicate language
- predicate logic-based language
- predicate logic language
- privacy language
- problem statement language
- problem-oriented language
- procedural language
- procedure-oriented language
- process control language
- production language
- program language
- programming language
- pseudo language
- pseudomachine language
- query language
- readable specification language
- reference language
- regular language
- relational language
- relational-type language
- representation language - requirements modeling language
- restricted language
- rule-based language
- ruly language
- schema language
- science-oriented language
- script language
- self-contained language
- semantic-formal language
- semiformal language
- sentential language
- serial language
- simulation language
- single-assignment language
- source language
- specialized language
- specification language
- stream-based language
- strict language
- structured programming language
- structured query language
- super language
- super-high-level language
- symbolic language
- symbolic programming language
- syntax language
- synthetic language
- system input language
- system language
- system-oriented language
- tabular language
- target language
- TC language
- time sharing language
- type-free language
- unified modeling language
- update language
- user language
- user-oriented language
- very-high-level languageEnglish-Russian dictionary of computer science and programming > language
-
13 language
1) язык || языковой2) машинный язык; набор символов ( машины)•- application-oriented language
- applicative language
- APT programming language
- APT-based language
- artificial language
- assembler language
- assembly language
- block diagram language
- calculus language
- classificatory indexing language
- command language
- communication-information language
- computer language
- context-free language
- context-sensitive language
- control language
- controlled language
- conversational programming language
- data definition language
- data description language
- data general language
- data general programming language
- data manipulation language
- data retrieval language
- data storage description language
- database control language
- database language
- database programming language
- definition language
- description indexing language
- description language
- descriptor indexing language
- DGL interpretative programming language
- documentary language
- domain-dependent language
- domain-independent language
- extended language
- extensible language
- formal language
- formalized language
- general-purpose language
- generic language
- geometry technology language
- global programming language
- graphics picture drawing language
- high-level language
- highly coded language
- hybrid language
- implementation language
- index retrieval language
- indexing language
- information language
- information processing language
- information retrieval language
- informational language
- information-algorithmic language
- interactive language
- interactive reader language
- intermediary language
- intermediate language
- interpretive language
- interrogation language
- ISO language
- job command language
- job control language
- language of science
- logical-information language
- machine control language
- machine language
- machinist's language
- manipulator-oriented language
- manufacturing application language
- meaning-representation language
- meta language
- native language
- natural language
- NC programming language
- numerical command language
- object description language
- object-oriented language
- operational performance analysis language
- plain language
- powerful programming language
- predicate calculus language
- predicate language
- predicate logic language
- problem-oriented language
- procedural language
- processing language
- process-oriented language
- production language
- production-rule language
- program language
- programming language
- query input language
- query language
- representation language
- retrieval language
- robotics language
- robot-programming language
- robot-specialized language
- rule-based programming language
- shop-oriented language
- Siman simulation language
- simulation language
- source language
- special interface programming language
- specification language
- state language
- structured query language
- switching language
- task description language
- task level language
- task-oriented language
- uncontrolled language
- very high level languageEnglish-Russian dictionary of mechanical engineering and automation > language
-
14 predicate
предикат, высказывание, утверждать
– predicate calculus
– predicate calculus machinery
– predicate logic language
– predicate symbol
– predicted result
-
15 predicate
1. n грам. лог. предикат, сказуемое2. n лог. утверждение3. a предикативныйpredicate noun — предикативное существительное, существительное в роли именной части составного сказуемого
4. v утверждать; заявлять; делать заявлениеmy plan is predicated on the assumption that … — в своём плане я исхожу из того, что …
5. v грам. лог. предицировать6. v наводить на мысль7. v редк. проповедовать8. v разг. предсказыватьСинонимический ряд:1. assert (verb) affirm; assert; aver; avouch; avow; constate; declare; depose; maintain; mean; proclaim; profess; protest; set forth; state2. establish (verb) base; bottom; build; establish; fasten; found; ground; rest; root in; seat; stay -
16 язык основанный на логике предикатов
Русско-английский большой базовый словарь > язык основанный на логике предикатов
-
17 язык (программирования), основанный на логике предикатов
Information technology: predicate logic language, predicate logic-based languageУниверсальный русско-английский словарь > язык (программирования), основанный на логике предикатов
-
18 язык программирования , основанный на логике предикатов
Information technology: predicate logic language, predicate logic-based languageУниверсальный русско-английский словарь > язык программирования , основанный на логике предикатов
-
19 язык, основанный на логике предикатов
1) Automation: predicate logic language (как функций нескольких переменных)Универсальный русско-английский словарь > язык, основанный на логике предикатов
-
20 язык , основанный на логике предикатов
Information technology: (программирования) predicate logic language, (программирования) predicate logic-based languageУниверсальный русско-английский словарь > язык , основанный на логике предикатов
- 1
- 2
См. также в других словарях:
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… … Wikipedia
Logic (disambiguation) — Logic is the study of the principles and criteria of valid inference and demonstration.Logic may also refer to:In logic and mathematics*A branch of logic: **Inductive logic, also called induction or inductive reasoning **Informal logic, the study … Wikipedia
Logic form — Logic forms are simple, first order logic knowledge representations of natural language sentences formed by the conjunction of concept predicates related through shared arguments. Each noun, verb, adjective, adverb, pronoun, preposition and… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
Predicate transformer semantics — is an extension of Floyd Hoare Logic invented by Dijkstra and extended and refined by other researchers. It was first introduced in Dijkstra s paper Guarded commands, nondeterminacy and formal derivation of programs . It is a method for defining… … Wikipedia
Logic — • A historical survey from Indian and Pre Aristotelian philosophy to the Logic of John Stuart Mill Catholic Encyclopedia. Kevin Knight. 2006. Logic Logic … Catholic encyclopedia